近傍 frame
neighborhood frame。Scott–Montague frame
近傍 frame に、場所と命題の二項關係$ \Vdashを追加した組$ M=(W,N,\Vdash)を近傍意味論と呼ぶ 命題$ pの眞理集合 (truth set) を$ ||p||^M:=\{w\in W|w\Vdash p\}と定義して、樣相作用素の妥當性を以下で定義できる
$ w\Vdash\square p\iff||p||^M\in N(w).
$ w\Vdash\lozenge p\iff(||p||^M)^C\notin N(w).